Ontological Issues in the Representation and Presentation of Mathematical Concepts
نویسندگان
چکیده
Major purposes underlying the functionality of formal systems include reasoning services and presentation facilities, prominently their systematic coordination. An important role in this coordination is played by the ontology and its underlying organization principles exhibited in the systems' knowledge bases. We address this issue by presenting speci c components of our proof development system mega, which combines reasoning facilities for handling mathematical proofs with presentation capabilities in natural language. These components are the mathematical knowledge base of mega and the linguistic knowledge base of the attached proof explanation system P.rex . We feature their ontological principles, modeling coverage, and their interoperability. Interfacing reasoning and presentation skills is crucial for increasing the quality in illustrating the results of formal inference systems.
منابع مشابه
خوشه‌بندی اسناد مبتنی بر آنتولوژی و رویکرد فازی
Data mining, also known as knowledge discovery in database, is the process to discover unknown knowledge from a large amount of data. Text mining is to apply data mining techniques to extract knowledge from unstructured text. Text clustering is one of important techniques of text mining, which is the unsupervised classification of similar documents into different groups. The most important step...
متن کاملNeuron Mathematical Model Representation of Neural Tensor Network for RDF Knowledge Base Completion
In this paper, a state-of-the-art neuron mathematical model of neural tensor network (NTN) is proposed to RDF knowledge base completion problem. One of the difficulties with the parameter of the network is that representation of its neuron mathematical model is not possible. For this reason, a new representation of this network is suggested that solves this difficulty. In the representation, th...
متن کاملMethodology of Understanding and Content Critique of Medical Narrations from the Perspective of Shiite Theologians
Medical narrations, as part of the narrative heritage, have always been considered with respect and obedience by Muslims. Different groups of Shiite and Sunni scholars (i.e., sages, topologists, narrators, fuqahā, and Akhbarian) have each encountered these narrations in different ways. The explanation of the methodical understanding principles and criteria for the content critique of these narr...
متن کاملThe Representation of Secret in Masnavi Manavi
Being one of the significant mystic books, Masnavi Manavi has a prominent place in presenting ontology of human being. As though by its revelation, one can reach many mystic and human concepts. Some of the important issues in this work include knowing the secret and secret keeping. The most profound place in Masnavi is where secret and secret keeping are mentioned. Molavi, himself as a...
متن کاملEffect of Historical Buildings Representation in Cyberspace in Creating Tourists’ Destination Image (Qualitative Study of Traditional Accommodations in Kashan)
Introduction: Understanding the representation components of the historical buildings in cyberspace and their impact on the mental image of the tourists is a significant fact in tourism recognition and management. A part of this subject is the impact of place representation on the destination image of the tourist. In this research, the destination is traditional accommodations that attract tour...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002